161. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده : Hubert Garavel, John Hatcliff )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
162. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
پدیدآورنده : Joost-Pieter Katoen, Perdita Stevens )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2280
163. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
164. UML 2004
پدیدآورنده : / Thomas Baar ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,UML (Computer science) Congresses
رده :
QA76
.
76
.
D47
,
U45
2004
165. UML 2004 :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses ; UML (Computer science) ; Congresses ;
166. UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
پدیدآورنده : Jean-Marc Jezequel, Heinrich Hussmann, Stephen Cook )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2460
167. UML 2003-the unified modeling language
پدیدآورنده : / Perdita Stevens, Jon Whittle, Grady Booch (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,UML (Computer science) Congresses
رده :
QA76
.
76
.
D47
,
U45
2003
168. UML 2003-the unified modeling language
پدیدآورنده : / Perdita Stevens, Jon Whittle, Grady Booch (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,UML (Computer science) Congresses
رده :
QA76
.
76
.
D47
,
U45
2003
169. UML 2000--the unified modeling language : advancing the standard : third International Conference, York, UK, October 2-6, 2000 : proceedings
پدیدآورنده : Andy Evans, Stuart Kent )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1939
170. UML 2003-the unified modeling language : modeling languages and applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings
پدیدآورنده : Perdita Stevens, Jon Whittle, Grady Booch )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2863
171. <UML> 2001- the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
پدیدآورنده : Martin Gogolla, Cris Kobryn )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2185
172. UML 2004 : the unified modelling language : modelling languages and applications; 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
پدیدآورنده : Thomas Baar...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
3273
173. VDM '91
پدیدآورنده : / S. Prehn, W.J. Toetenel (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development- Congresses
رده :
QA76
.
76
.
D47
,
V36
1991
174. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
پدیدآورنده : edited by D. Bjorner...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
252
175. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
پدیدآورنده : VDM '78, )7891, Brussels, Belgium(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
رده :
QA
76
.
L4
v
.
252
176. VDM '90 : VDM and Z : formal methods in software development : Proceedings
پدیدآورنده : D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
428
177. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
پدیدآورنده : VDM '09 )0991: Kiel, Germany(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1990
178. VDM'88 : VDM, the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 1988 : Proceedings
پدیدآورنده : R. Bloomfield, L. Marshall, R. Jones )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
328
179. VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings
پدیدآورنده : VDM '88 )8891: Dublin, Ireland(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses,، Computer software industry-- European Economic Community countries-- Congresses
رده :
QA
76
.
76
.
D47
.
V854
1988
180. VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
پدیدآورنده : S. Prehn, W.J. Toetenel )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
551-552